# -*- mode: snippet -*-
# name: coinduction
# key: coind
# uuid: coind
# --
coinduction
